首页> 外文OA文献 >Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic Programs

【2h】

Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic Programs

机译：超越Tamaki-Sato样式的普通逻辑程序展开/折叠转换

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Abhik Roychoudhury; K. Narayan Kumar; C. R. Ramakrishnan; I.V. Ramakrishnan;
展开▼
作者单位

展开▼
年度 1999
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Beyond Tamaki-Sato style unfold/fold transformations for normal logic programs [J] . Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, International Journal of Foundations of Computer Science . 2002,第3期

机译：超越Tamaki-Sato样式的普通逻辑程序的展开/折叠转换
2. An Unfold/Fold Transformation Framework for Definite Logic Programs [J] . ABHIK ROYCHOUDHURY, K. NARAYAN KUMAR, C. R. RAMAKRISHNAN, ACM Transactions on Programming Languages and Systems . 2004,第3期

机译：用于确定逻辑程序的展开/折叠转换框架
3. UNFOLDING-DEFINITION-FOLDING, IN THIS ORDER, FOR AVOIDING UNNECESSARY VARIABLES IN LOGIC PROGRAMS [J] . Proietti M., Pettorossi A. Theoretical computer science . 1995,第1期

机译：为了避免逻辑程序中不必要的变量，本指令中的展开-定义-折叠
4. Generalized Unfold/fold Transformation Systems for Normal Logic Programs [C] . Abhik Roychoudhury, K. Narayan Kumar, I.V. Ramakrishnan International Conference on Logic Programming . 2000

机译：用于普通逻辑程序的广义展开/折叠转换系统
5. Cut-free Gentzen-style systems for some normal extensions of S4 and intermediate logics利用統計を見る [D] . Shimura Tatsuya 1991

机译：免剪裁的Gentzen风格的系统，用于S4和中间逻辑的某些常规扩展
6. Energetic and Structural Consequences of Desolvation/Solvation Barriers to Protein Folding/Unfolding Assessed from Experimental Unfolding Rates [O] . David Rodriguez-Larrea, Beatriz Ibarra-Molero, Jose M. Sanchez-Ruiz 2006

机译：从实验展开率评估的去溶剂化/溶剂化障碍对蛋白质折叠/展开的能量和结构性后果
7. Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic Programs [O] . Abhik Roychoudhury, K. Narayan Kumar, C.R. Ramakrishnan, 1999

机译：超越Tamaki-sato风格展开/折叠正常逻辑程序的转换

Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic Programs

著录项

引文网络

相似文献

相关主题

期刊订阅